Computers Security

A framework for security assurance of access control enforcement code

Access Control / Case Study / Formal method / Software Development Process / Computers Security / Access Control Policy
Copyright © 2017 DADOSPDF Inc.